branch and bound method for solving integer linear programming